Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
401	AN EXPONENTIAL LOWER BOUND FOR THE LATEST DETERMINISTIC STRATEGY ITERATION ALGORITHMS OLIVER FRIEDMANN UNIVERSITY OF MUNICH e-mail address: A BSTRACT. This paper presents a new exponential lowe Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:20 Formal languages Theory of computation Logic Game theory Determinacy Parity game
402	JMLR: Workshop and Conference Proceedings 34:94–108, 2014 Proceedings of the 12th ICGI Very efficient learning of structured classes of subsequential functions from positive data Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Models of computation Theoretical computer science Finite state transducer Metalogic Symbol Structure String Automata theory Formal languages Mathematics
403	Overcoming the Knowledge Engineering Bottleneck for Understanding Student Language Input Carolyn P. Ros´e, Andy Gaydos, Brian S. Hall, Antonio Roque, and Kurt VanLehn Learning Research and Development Center, University Add to Reading List Source URL: aroque.bol.ucla.edu Language: English - Date: 2010-11-21 01:04:58 Semantics Mathematical logic Grammar Formal languages Computational linguistics Semantic network Well-formed formula Proposition First-order logic Logic Linguistics Science
404	Languages vs. ω-Languages in Regular Infinite Games Namit Chaturvedi? , Jörg Olschewski?? , and Wolfgang Thomas Lehrstuhl Informatik 7, RWTH Aachen University, Germany {chaturvedi,olschewski,thomas}@automata.rwth-aache Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 11:02:51 Formal languages Computer science Theory of computation Ω-automaton Omega language Büchi automaton Symbol Determinacy Regular language Automata theory Mathematics Theoretical computer science
405	Models of Computation Lecture 1: Strings [Fa’14] THOMAS GODFREY, a self-taught mathematician, great in his way, and afterward inventor of what is now called Hadley’s Quadrant. But he knew little out of his way, and Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:04:59 Combinatorics on words Theoretical computer science String Constructible universe Function Substring Μ operator Pumping lemma for regular languages Mathematics Formal languages Combinatorics
406	4. Open Questions Word of wisdom: If you write a standard, write a validation suite. It’ll help you find ambiguities and gaps. • security method in rr.interface is still missing (there’s just one record in the VO u Add to Reading List Source URL: wiki.ivoa.net Language: English - Date: 2014-05-21 14:31:01 Computer programming Null Regular expression Empty string Whitespace String Database schema Formal languages Computing Software engineering
407	PDF Document Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:04 Mathematics Linguistics Cellular automaton Shape grammar Grammar L-system Formal grammar Syntax Genetic algorithm Formal languages Science Cybernetics
408	PDF Document Add to Reading List Source URL: cran.skazkaforyou.com Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
409	PDF Document Add to Reading List Source URL: star-www.st-andrews.ac.uk Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
410	A Fixpoint Calculus for Local and Global Program Flows Rajeev Alur Swarat Chaudhuri P. Madhusudan Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2008-03-07 16:10:53 Formal languages Metalogic Automata theory Kripke semantics Sheaf theory Partition Nested word Well-formed formula Model theory Logic Mathematics Mathematical logic

UPDATE